Quantifiable non-functional requirements modeling and static verification for web service compositions
نویسندگان
چکیده
.... ..................................................................................................................... xiv CHAPTER
منابع مشابه
Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques
Web service compositions (WS compositions) coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intraand inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to func...
متن کاملAutomata-Based Verification of Non-Functional Requirements in Web Service Composition
We address the problem of how to provide guarantees to a user that an automatically generated composition of independently developed web services meets the non-functional requirements (NFR). The user-specified NFR are in the form of hard constraints. We introduce an automata-based model for representing and reasoning about non-functional requirements for verifying the conformance to NFR. The ap...
متن کاملBeiträge zur Anforderungsanalyse im Rahmen der Entwicklung betrieblicher Anwendungssysteme aus Sicht der Wirtschaftsinformatik
Web service compositions coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intraand inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to functional requirement...
متن کاملA model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملProduct-line-based requirements customization for web service compositions
Customizing web services according to users’ individual functional and non-functional requirements has become increasingly difficult as the number of users increases. This paper introduces a new way to customize and verify composite web services by incorporating a software product-line engineering approach into web-service composition. The approach uses a partitioning similar to that between do...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015